int sum(int, int);